Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
411	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
412	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
413	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine
414	A Study on the Cognitive Plausibility of SIM-DL Similarity Rankings for Geographic Feature Types Krzysztof Janowicz, Carsten Keßler, Ilija Panov, Marc Wilkes, Martin Espeter, and Mirco Schwarz Institute for Geoinformati Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:32 Information science Semantic Web Knowledge representation Cognition Knowledge engineering Semantic similarity Description logic Conceptual Spaces Ontology Similarity Knowledge representation and reasoning Web Ontology Language
415	IN PARTNERSHIP WITH: CNRS Institut polytechnique de Grenoble Université Pierre Mendes-France (Grenoble) Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:31 Semantic Web Knowledge representation Information science Ontology Knowledge engineering Web Ontology Language Resource Description Framework Simple Knowledge Organization System Knowledge representation and reasoning Description logic Upper ontology Draft:Outline of ontologies
416	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
417	Exercise 2: Flirting with Synchrony and Asynchrony Task 1: Growing Balls Denote by B(v, r) the ball of radius r around v, i.e., B(v, r) = {u ∈ V : dist(u, v) ≤ r}. Consider the following partitioning algorithm. Algor Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2014-10-28 15:42:59 Algorithm Mathematical logic Theoretical computer science Edsger W. Dijkstra Spanning tree Graphical models
418	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
419	Microsoft Word - CTL_Proposal_For_State_Of_Maine_RFP_201210412 Add to Reading List Source URL: education.vermont.gov Language: English - Date: 2014-12-19 13:27:00 Temporal logic Logic in computer science
420	the problem algorithms & nwk models results Efficiency of navigation in indexed networks Petter Holme Add to Reading List Source URL: petterholdotme.files.wordpress.com Language: English - Date: 2015-09-22 01:14:43 Operations research Algorithm Mathematical logic Theoretical computer science Flow network

UPDATE